Many of the terms defined in this section are used informally. They are defined in order to facilitate the discussion in the remainder of this appendix.